翻訳と辞書 |
Lemma (logic) : ウィキペディア英語版 | Lemma (logic)
In informal logic and argument mapping, a lemma is simultaneously a contention for premises below it and a premise for a contention above it. Transitivity: If one has proof that ''B'' follows from ''A'' and proof of ''A'', then one has proof of ''B''. ==See also==
* Co-premise * Inference objection * Objection
抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Lemma (logic)」の詳細全文を読む
スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|